1. ALPUK 92
پدیدآورنده : Krysia Broda )ed.(.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
2. Algebraic and logic programming :
پدیدآورنده : Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
3. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
4. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
5. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
پدیدآورنده : H. Kirchner, W. Wechler, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
6. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده : H. Kirchner, G. Levi, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
7. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
6
.
A4583
1988
8. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
9. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده : Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
10. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده : Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
11. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
12. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
13. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
پدیدآورنده : Dietmar Seipel... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
14. Based Program Synthesis and Transformation :-Logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
15. CSL'87 lst workshop on computer science logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
16. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
پدیدآورنده : Harry S. Delugach, Gerd Stumme, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
17. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
18. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings
پدیدآورنده : Jean-Pierre Jouannaud )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
845
19. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
20. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
